﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using RWLibrary.Logic.Graph;


namespace ConsoleApplication1
{
    class Program
    {
        static void Main(string[] args)
        {
            //String input = "initially !a && b && c || a && !b && !c";
            //input += Environment.NewLine + "A causes a  if b&&!a with cost 2";
            //input += Environment.NewLine + "B causes !a if a with cost 2";
            //input += Environment.NewLine + "C causes c ||!c if !a with cost 2";
            //input += Environment.NewLine + "D releases a if !a with cost 2";
            //input += Environment.NewLine + "C causes b if b with cost 1";

            String input = "initially !a && b";
            input += Environment.NewLine + "A causes a if !a||a with cost 2";
            input += Environment.NewLine + "A releases b if a with cost 1";

            Graph g = new Graph(input);
            
            Console.WriteLine(input);
            Console.WriteLine(g.ToString());
            

            Console.ReadLine();
        }
    }
}
